Safety Analysis of a Radio-based Crossing Control System Using Formal Methods
نویسندگان
چکیده
In this paper we combine classical fault tree analysis and formal specifications to analyze the dependability of a transportation scenario. The example is a radio-based level crossing control system.
منابع مشابه
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)
In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a novel technique to analyze safety of embedded systems with formal methods. It substitutes error-prone informal reasoning by mathematical proofs. DCCA allows to rigorously prove whether a failure on component level is the cause fo...
متن کاملFormal Safety Analysis of Transportation Control Systems
From a safety point of view different transportation systems share many properties and requirements. They are all supposed to function correctly, to be failure tolerant and to be associated with only minimal risk. To ensure these requirements formal methods are a great help. The ForMoSA approach provides an integrated methodology for formally analyzing safety-critical transportation systems. On...
متن کاملSafety Optimization of a Radio-based Railroad Crossing
In this paper we report on the safety analysis of a distributed and decentralized control of a railroad crossing: the radio-based level crossing. In particular we show how mathematical models and minimization techniques may be used to get good quantitative approximations for risk as well as to give advice to the system engineer how to choose free parameters like safety margins etc.
متن کاملThe ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis
This chapter presents ForMoSA (FORmal MOdels and Safety Analysis), an integrated approach for the safety assessment of safety-critical embedded systems. The approach brings together the best of engineering practice, formal methods, and mathematics: traditional safety analysis, temporal logics and verification, as well as statistics and optimization. These three orthogonal techniques cover three...
متن کاملThe Effect of Radio Waves on the Quality and Safety of Wearable Sensors in Healthcare
The industrial Internet of Things (IoT) is aiming to interconnect humans, machines, materials, processes and services in a network. Wireless Sensor Network (WSN) comprises the less power consuming, light weight and effective Sensor Nodes (SNs) for higher network performance. Radio Frequency Identification (RFID) and sensor networks are both wireless technologies that provide limitless future po...
متن کامل